An Algebra for Delay-Insensitive Circuits
نویسندگان
چکیده
A novel process algebra is presented; algebraic expressions specify delay-insensitive circuits in terms of voltage-level transitions on wires. The approach appears to have several advantages over traditional state-graph and production-rule based methods. The wealth of algebraic laws makes it possible to specify circuits concisely and facilitates the verification of designs. Individual components can be composed into circuits in which signals along internal wires are hidden from the environment.
منابع مشابه
Towards a Language Based Synthesis of NCL Circuits
This paper is an attempt to provide a language front-end to synthesise asynchronous control circuits using NCL technology. The target implementation being delay insensitive (DI), the specification language should be DI as well. Delay Insensitive Sequential Processes (DISP) is a process algebra where the behaviour of asynchronous control logic blocks is expressed by the processes. We show that o...
متن کاملDiagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits
In this paper we construct a new trace model of delay-insensitive asynchronous circuits inspired by Ebergen’s model in such a way that it satisfies the compositional properties of a category, with additional monoidal structure and further algebraic properties. These properties taken together lay a solid mathematical foundation for a diagrammatic approach to reasoning about asynchronous circuits...
متن کاملA Practical Comparison of Asynchronous Design Styles
It is well known that single-rail, bundled-delay circuits provide good area eficiency but it can be dificult to match them with appropriate delay models. Conversely delay insensitive circuits such as those employing dualrail codes are larger but it is easier to ensure timing correctness. In terms of speed, bundled-delay circuits need conservative timing but dual-rail circuits can require an app...
متن کاملAction Systems Synthesis of DI Circuits
A sub-class of action systems has recently been shown to model the behaviour of asynchronous delay-insensitive circuits. Hence, the action systems formalism can be used to design such circuits. The set of action systems belonging to this subclass is, however, rather limited and therefore it might be difficult to find such a system directly. In this paper we introduce a design method for delay-i...
متن کاملApplying the Concurrency Workbench to the Verification of DI Circuits
In this extended abstract, we shall consider the modelling of such delay-insensitive modules and the verification of circuits that are composed out of them. More specifically, we consider some small asynchronous controllers and verify their implementation using a popular verification tool, the Concurrency Workbench (CWB) [1, 12]. The CWB is an automated tool that helps in the manipulation and a...
متن کامل